退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:Rank-1模态逻辑是代数
Lutz Schröder; Dirk Pattinson;
机译:等级1模态逻辑是联合代数
机译:用于等级1模态逻辑的PSPACE边界
机译:弱表达的代数模态逻辑的双仿真
机译:等级1模态逻辑是联合的
机译:关于模态逻辑的不完备性通过二阶逻辑的帐户。
机译:使用rank-1的稀疏矩阵近似对多种高维数据类型进行联合分析并将其应用于卵巢癌和肝癌
机译:Rank-1模态逻辑的pspaCE界限
机译:meal机器的代数逻辑与综合
机译:在模态逻辑证明模型中检查自然语言的方法和系统
机译:用于移动环境的基于环境演算的模态逻辑
机译:访问控制逻辑的模态和线性技术
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。